Journal of Automated Reasoning
Journal of Automated Reasoning > 2018 > 60 > 1 > 23-42
Journal of Automated Reasoning > 2018 > 60 > 1 > 85-105
Journal of Automated Reasoning > 2018 > 60 > 1 > 43-62
Journal of Automated Reasoning > 2018 > 60 > 1 > 63-84
Journal of Automated Reasoning > 2018 > 60 > 1 > 107-131
Journal of Automated Reasoning > 2018 > 60 > 1 > 3-21
Journal of Automated Reasoning > 2018 > 60 > 2 > 237-254
Journal of Automated Reasoning > 2018 > 60 > 2 > 157-176
Journal of Automated Reasoning > 2018 > 60 > 2 > 177-220
Journal of Automated Reasoning > 2018 > 60 > 2 > 221-236
Journal of Automated Reasoning > 2018 > 60 > 2 > 133-156
Journal of Automated Reasoning > 2018 > 60 > 3 > 365-383
Journal of Automated Reasoning > 2018 > 60 > 3 > 279-298
Journal of Automated Reasoning > 2018 > 60 > 3 > 299-335
Journal of Automated Reasoning > 2018 > 60 > 3 > 337-363
Journal of Automated Reasoning > 2018 > 60 > 3 > 255-256
Journal of Automated Reasoning > 2018 > 60 > 3 > 257-277
Journal of Automated Reasoning > 2018 > 60 > 4 > 527-527
Journal of Automated Reasoning > 2018 > 60 > 4 > 385-419